Unification of Opposed Concepts : Revolutionary Innovation

A Model of Mizar Concepts - Unification

The aim of this paper is to develop a formal theory of Mizar linguistic concepts following the ideas from [6] and [7]. The theory presented is an abstraction from the existing implementation of the Mizar system and is devoted to the formalization of Mizar expressions. The concepts formalized here are: standarized constructor signature, arity-rich signatures, and unification of Mizar expressions.

Revolutionary Concepts for Helicopter Noise Reduction — S.I.L.E.N.T. Program

Anti-Unification of Concepts in Description Logic EL

We study anti-unification for the description logic EL and introduce the notion of least general generalisation, which generalises simultaneously least common subsumer and concept matching. The idea of generalisation of two concepts is to detect maximal similarities between them, and to abstract over their differences uniformly. We demonstrate that a finite minimal complete set of generalisatio...

Critical Concepts Innovation and Collective Entrepreneurship

Innovation became important years ago when people became interested in the dynamic underlying economic development and growth. And innovation has been intimately intertwined with entrepreneurship. Joseph Schumpeter, writing in the early 20 C, argued that innovation is central to economic development; he regarded entrepreneurs as innovators engaged in a process of creative destruction, destroyin...

Revolutionary Science

On rare occasions in the history of science, remarkable discoveries transform human society and forever alter mankind's view of the world. Examples of such discoveries include the heliocentric theory, Newtonian physics, the germ theory of disease, quantum theory, plate tectonics and the discovery that DNA carries genetic information. The science philosopher Thomas Kuhn famously described scienc...